es{-}le{-}before(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$before($e$) @ [$e$]